منابع مشابه
On the splitting number at Regular Cardinals
Let κ, λ be regular uncountable cardinals such that λ > κ+ is not a successor of a singular cardinal of low cofinality. We construct a generic extension with s(κ) = λ starting from a ground model in which o(κ) = λ and prove that assuming ¬0¶, s(κ) = λ implies that o(κ) ≥ λ in the core model.
متن کاملClones on Regular Cardinals
We investigate the structure of the lattice of clones on an infinite set X . We first observe that ultrafilters naturally induce clones; this yields a simple proof of Rosenberg’s theorem: there are 2 λ many maximal (= “precomplete”) clones on a set of size λ. The clones we construct do not contain all unary functions. We then investigate clones that do contain all unary functions. Using a stron...
متن کاملDefinable Tree Property Can Hold at All Uncountable Regular Cardinals
Starting from a supercompact cardinal and a measurable above it, we construct a model of ZFC in which the definable tree property holds at all uncountable regular cardinals. This answers a question from [1]
متن کاملFull Reflection of Stationary Sets at Regular Cardinals
0. Introduction. A stationary subset S of a regular uncountable cardinal κ reflects fully at regular cardinals if for every stationary set T ⊆ κ of higher order consisting of regular cardinals there exists an α ∈ T such that S ∩ α is a stationary subset of α. We prove that the Axiom of Full Reflection which states that every stationary set reflects fully at regular cardinals, together with the ...
متن کاملRegular Cardinals in Models of Zf
We prove the following Theorem. Suppose M is a countable model of ZFC and k is an almost huge cardinal in M. Let A be a subset of k consisting of nonlimit ordinals. Then there is a model NA of ZF such that S0 is a regular cardinal in NA iff a e A for every a > 0. 0. Introduction. We consider the following question. What are the restrictions in ZF on the class of all regular cardinals? Clearly, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2015
ISSN: 0029-4527
DOI: 10.1215/00294527-3132788